Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
391	ALGORITHMIC LINEAR DIMENSION REDUCTION IN THE `1 NORM FOR SPARSE VECTORS A. C. GILBERT, M. J. STRAUSS, J. A. TROPP, AND R. VERSHYNIN Abstract. We can recover approximately a sparse signal with limited noise, i.e, a vecto Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2009-02-03 14:30:47 Digital signal processing Computational complexity theory Matrix Fast Fourier transform Time complexity Mathematics Computer science Theoretical computer science Polynomials
392	Chapter 1 MINING AND USING SETS OF PATTERNS THROUGH COMPRESSION Matthijs van Leeuwen KU Leuven Leuven, Belgium Add to Reading List Source URL: www.patternsthatmatter.org Language: English - Date: 2014-12-31 10:52:18 Algorithmic information theory Information theory Cybernetics Formal sciences Theoretical computer science Statistics Minimum description length Statistical theory Lossless compression Minimum message length Data compression Kolmogorov complexity
393	A Generic Algorithm Template for Divide-and-conquer in Multicore Systems Carlos H. Gonz´alez and Basilio B. Fraguela Depto. de Electr´onica e Sistemas Universidade da Coru˜na A Coru˜na, Spain {cgonzalezv, basilio.fra Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2010-07-05 09:09:38 Computer programming Software engineering Computing C++ Concurrent programming languages Parallel computing Theoretical computer science Application programming interfaces Algorithmic skeleton Recursion Divide and conquer algorithms Algorithm
394	Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Theoretical computer science Constraint logic programming Prolog Programming language Partial evaluation Functional programming Constraint programming Abstract interpretation Logic programming
395	Specialization of Imperative Programs through Analysis of Relational Expressions Alexander Sakharov Motorola 1501 W. Shure Drive Arlington Heights, IL 60004, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Control-flow analysis Interval Control flow graph Symbol Theoretical computer science
396	Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-22 20:46:25 Models of computation Formal languages Theoretical computer science Pushdown automaton Automata theory Deterministic pushdown automaton Computability Language Deterministic context-free language Deterministic automaton Culture NPDA
397	Span-Program-Based Quantum Algorithm for Evaluating Formulas Add to Reading List Source URL: theoryofcomputing.org Language: English - Date: 2014-11-14 13:01:33 Theoretical computer science Quantum computing Theory of computation Mathematics Computational complexity theory Quantum algorithm Quantum information science Algorithm FO
398	SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2009-06-09 05:12:21 Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness
399	Querying DAG-shaped Execution Traces Through Views Maya Ben-Ari Tova Milo Elad Verbin Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Data management Computing Information science Query optimization SQL Directed acyclic graph Bin Theoretical computer science Database theory Search algorithms Lowest common ancestor Conjunctive query
400	Synchronous Counting and Computational Algorithm Design Danny Dolev1 , Janne H. Korhonen2 , Christoph Lenzen3 , Joel Rybicki2 , and Jukka Suomela2 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:08 Computing Computational complexity theory Mathematics Theoretical computer science Distributed computing Routing algorithms Consensus Algorithm Randomized algorithm Leader election A* search algorithm

UPDATE